可共享多通道Cache设计及存储体系的CPN建模与验证

【摘要】片上多核处理器体系结构因其低设计复杂度、高性能、低功耗等特性成为当今主流的处理器架构。但片上高度集成给各内核的高速并发访问带来了巨大的压力,而多核处理器结构设计的优劣直接影响系统的性能。其中CMP存储体系的设计占有极其重要的地位：CMP存储体系可缓解处理器与外存的速度差,同时对核间通信有巨大作用,其存储操作直接影响数据的安全可靠性。为了提高数据访问的并行性,为数据的存储与传输提供更快速的路径,本文提出一种面向多核的共享多通道Cache体系原型ArchitectureUtilizingMulti-ChannelCache,简称为AUMCC。本文对该体系进行了具体设计,主要包括共享多通道Cache的映射机制设计、存储架构的Cache一致性协议设计以及对共享多通道Cache的并发访问冲突处理机制的设计。分析了该体系在提高数据存储和传输的并行性、提高核间通信效率以及简化一致性维护的优势。然后为全相联映射的AUMCC体系(FA-AUMCC)建立层次化CPN模型,并使用CPN工具对模型进行了仿真执行,同时对模型正确性和可行性进行了验证。通过对模型的正确性和可行性的验证证明了FA-AUMCC体系的可实现性。
【作者】田晓青；
【导师】刘彩霞；
【作者基本信息】内蒙古大学，计算机科学与技术，2014，硕士
【关键词】多核存储体系；并行性；AUMCC体系设计；CPN建模；模型验证；

【参考文献】
[1]秦后彬.消解与拟像—新媒体的哲学意义思考[D].西南大学,外国哲学,2014,硕士.
[2]杨增光.数控加工标准样件设计及能耗数据管理系统研究[D].哈尔滨工业大学,机械电子,2013,硕士.
[3]郑丽英.基于trie的关联规则发现算法[J].兰州理工大学学报,2004,05:90-92.
[4]刘学峰.既有居住建筑节能改造的合同能源管理模式研究[D].山东建筑大学,管理科学与工程,2013,硕士.
[5]李守国.新一代传送网络的发展[J].现代电信科技.2006(01)
[6]刘忠静.论大庆石油企业文化建设中的以人为本[D].东北石油大学,思想政治教育,2013,硕士.
[7]张营磊.USB接口软IP CORE代码设计及验证[D].电子科技大学,软件工程（专业学位）,2012,硕士.
[8]李艳红.单载波频域均衡超宽带系统鲁棒信道估计方法研究[D].河南科技大学,检测技术与自动化装置,2014,硕士.
[9]安英霞.高铁接触网静态几何参数偏差对弓网动态性能的影响[D].西南交通大学,电气工程,2013,硕士.
[10]李铁军.北京金山软件有限公司[J].教育信息化.2006(20)
[11]贺杰.基于AVR单片机的风电机组自动消防控制系统设计与研究[D].广东工业大学,机械工程（专业学位）,2014,硕士.
[12]牟艳.创新企业与风险投资公司之间逆向选择的博弈研究[D].安徽大学,技术经济及管理,2013,硕士.
[13]余永辉.中国古典园林铺装元素在苏州现代园林中的应用研究[D].江西农业大学,林业,2012,硕士.
[14]胡帅.白菜蛋白磷酸酶2C基因BcABI1的分离与表达分析[D].浙江大学,园艺学,2012,硕士.
[15]陈圻,张毅.产品功能定位与创新内生溢出决策模型研究[J].控制与决策,2011,11:1685-1689+1694.
[16]王艳静.氧化铈/石墨烯复合材料的制备及光催化性能的研究[D].北京邮电大学,2014.
[17]汪遇星.约翰·诺伊梅尔研究[D].中国艺术研究院,舞蹈学,2013,硕士.
[18]郭莲.伊犁职业中专《汉语》校本课程的开发研究[D].河北师范大学,课程与教学论,2012,硕士.
[19]陆军.防信息泄漏技术[J].计算机安全,2005,06:14-16.
[20]任远.论我国对外直接投资国家风险与法律防范[D].西南政法大学,国际经济法（专业学位）,2012,硕士.
[21]闫自庚,蒋建国,郭丹.基于SURF特征和Delaunay三角网格的图像匹配[J].自动化学报,2014,06:1216-1222.
[22]刘阳.城市再生水的土壤累积效应及玉米生长发育的影响[D].吉林农业大学,环境工程,2012,硕士.
[23]鲁冰.MES系统在热表车间的应用鲁冰[J].电子技术与软件工程,2014,19:90.
[24]刘萍.论语文教学的生命价值取向[D].华东师范大学,课程与教学论,2004,硕士.
[25]陈春鸣.降雨与潜水作用下土岩组合边坡稳定性研究[D].湖南工业大学,岩土工程,2012,硕士.
[26]谢英添.农田开放式CO_2浓度和温度增高对冬小麦生长发育和产量的影响[D].南京农业大学,作物,2013,硕士.
[27]何灏逾.微囊藻毒素-LR对小鼠肝细胞DNA甲基化影响的体内实验研究[D].广西医科大学,劳动卫生与环境卫生学,2013,硕士.
[28]刘强.基于服务价值链的延保项目管理研究[D].电子科技大学,项目管理（专业学位）,2012,硕士.
[29]李佳临.儿童的音乐发展及其在音乐教学中的应用[D].云南艺术学院,钢琴表演与教学,2014,硕士.
[30]韩伟.我国上市公司治理效果影响因素实证研究[D].天津大学,工商管理,2013,硕士.
[31]古丽布斯坦.新疆旅游业发展分析与对策研究[D].中央民族大学,中国少数民族经济,2004,硕士.
[32]邓雪.高中生英语学习动机的研究[D].首都师范大学,学科教学,2013,硕士.
[33]魏汝领.中国山地户外运动成绩分析及提高对策研究[D].中国地质大学（北京）,体育教育训练学,2013,硕士.
[34]彭本.建筑安全管理存在的问题及对策研究[D].大连理工大学,建筑与土木工程（专业学位）,2013,硕士.
[35]舒贞.顺应论视角下的大学英语课堂教学话轮转换策略研究[D].吉林大学,外国语言学及应用语言学,2013,硕士.
[36]王彦慧.民办高校基层党组织建设研究[D].武汉纺织大学,思想政治教育,2014,硕士.
[37]刘涛.Oat1，Oat3和Mrp2介导JBP485对大鼠急性肝肾损伤产生的保护作用及其分子药代动力学机制[D].大连医科大学,药理学,2012,硕士.
[38]戴金.单家庭亲儿童情绪管理的社会工作介入[D].苏州大学,社会工作（专业学位）,2014,硕士.
[39]孙现福,马玉培,王国彬.基于安捷伦VNA网络分析仪实现长延时器件的测量[J].电信网技术.2008(02)
[40]姜素琼.《四世同堂》：长篇小说与宏大叙事[D].青岛大学,中国现当代文学,2013,硕士.
[41]潘永涛.我国大型旅行社赢利模式选择研究[D].青岛大学,旅游管理,2004,硕士.
[42]丁华毅.生物炭的环境吸附行为及在土壤重金属镉污染治理中的应用[D].厦门大学,环境科学,2014,硕士.
[43]张志伟.基于NetLinx的过程控制实验平台的研究[D].东北大学,控制理论与控制工程,2010,硕士.
[44]柏呈.四川现存元代木构建筑大木作研究[D].西南交通大学,建筑历史及其理论,2014,硕士.
[45]刘英艳.《小人物日记》两中译本的对比研究[D].上海外国语大学,英语语言文学,2013,硕士.
[46]许泽立.东亚飞蝗血蓝蛋白携氧功能的研究[D].湖北大学,生物化学与分子生物学,2012,硕士.
[47]何德峰,宋秀兰,俞立.约束不确定非线性系统的鲁棒优化镇定[J].控制理论与应用,2013,05:632-636.
[48]何悦.《中国民俗文化》选修课教材及教学探究[D].河北师范大学,学科教学,2014,硕士.
[49]李连友.高考化学实验试题的分析及对高中化学实验教学的启示[D].内蒙古师范大学,学科教学（专业学位）,2012,硕士.
[50]郝扬.区域经济发展软环境评估研究[D].天津大学,公共管理,2013,硕士.